Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 22, 25, 26, 27 }

B grade: { 12, 20, 21, 23, 24 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4 }

B grade: { 5, 6, 7, 8, 16, 17, 18, 25, 26, 27 }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24 }

2.1.4 Maxima

A grade: { 4, 16, 17, 18 }

B grade: { 1, 2, 3 }

C grade: { 25, 26, 27 }

F grade: { 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 19, 20, 21, 22, 23, 24 }

2.1.5 FriCAS

A grade: { 5, 17, 18 }

B grade: { 1, 2, 3, 4, 6, 7, 10, 11, 12, 13, 14, 16, 19, 20, 21, 22, 23, 24 }

C grade: { 25, 26, 27 }

F grade: { 8, 9, 15 }

2.1.6 Sympy

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

2.1.7 Giac

A grade: { 3, 4, 5, 6 }

B grade: { 1, 2, 7, 8, 16, 17, 18, 19, 20, 21, 22, 23, 24 }

C grade: { 25, 26, 27 }

F grade: { 9, 10, 11, 12, 13, 14, 15 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5 }

C grade: { }

F grade: { 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 149 129 706 929 0 334 1088
normalized size 1 1.00 1.31 1.13 6.19 8.15 0.00 2.93 9.54
time (sec) N/A 0.074 3.388 0.588 0.332 0.422 0.000 0.148 1.633




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 113 83 334 461 0 182 508
normalized size 1 1.00 1.53 1.12 4.51 6.23 0.00 2.46 6.86
time (sec) N/A 0.048 3.598 0.500 0.356 0.440 0.000 0.152 1.514




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 84 47 121 180 0 81 166
normalized size 1 1.00 1.95 1.09 2.81 4.19 0.00 1.88 3.86
time (sec) N/A 0.032 0.644 0.417 0.489 0.450 0.000 0.129 1.499




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 17 23 36 0 23 23
normalized size 1 1.00 1.00 1.06 1.44 2.25 0.00 1.44 1.44
time (sec) N/A 0.014 0.014 0.328 0.309 0.396 0.000 0.114 1.473




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 52 302 0 457 0 64 471
normalized size 1 1.00 1.04 6.04 0.00 9.14 0.00 1.28 9.42
time (sec) N/A 0.055 0.203 0.305 0.000 0.451 0.000 0.383 1.930




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 199 778 0 1747 0 166 -1
normalized size 1 1.00 1.99 7.78 0.00 17.47 0.00 1.66 -0.01
time (sec) N/A 0.127 0.712 0.289 0.000 0.476 0.000 0.442 0.000




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 210 1798 0 6569 0 327 -1
normalized size 1 1.00 1.35 11.53 0.00 42.11 0.00 2.10 -0.01
time (sec) N/A 0.216 1.566 0.312 0.000 0.635 0.000 0.973 0.000




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) F(-1) F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 220 220 273 3638 0 0 0 596 -1
normalized size 1 1.00 1.24 16.54 0.00 0.00 0.00 2.71 -0.00
time (sec) N/A 0.344 3.660 0.308 0.000 0.000 0.000 0.912 0.000




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 231 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.188 4.899 0.622 0.000 0.000 0.000 0.000 0.000




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 193 0 0 6645 0 0 -1
normalized size 1 1.00 1.53 0.00 0.00 52.74 0.00 0.00 -0.01
time (sec) N/A 0.110 0.825 0.548 0.000 0.853 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 143 0 0 4389 0 0 -1
normalized size 1 1.00 1.70 0.00 0.00 52.25 0.00 0.00 -0.01
time (sec) N/A 0.055 0.212 0.635 0.000 0.851 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 41 97 0 0 1645 0 0 -1
normalized size 1 1.08 2.55 0.00 0.00 43.29 0.00 0.00 -0.03
time (sec) N/A 0.038 0.145 0.575 0.000 0.461 0.000 0.000 0.000




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 148 0 0 3009 0 0 -1
normalized size 1 1.00 1.80 0.00 0.00 36.70 0.00 0.00 -0.01
time (sec) N/A 0.056 0.354 0.455 0.000 0.829 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 174 0 0 7831 0 0 -1
normalized size 1 1.00 1.29 0.00 0.00 58.01 0.00 0.00 -0.01
time (sec) N/A 0.109 1.704 0.454 0.000 1.218 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-1) F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 193 234 0 0 0 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.192 1.437 0.465 0.000 0.000 0.000 0.000 0.000




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 24 120 44 190 0 73 -1
normalized size 1 1.00 0.83 4.14 1.52 6.55 0.00 2.52 -0.03
time (sec) N/A 0.038 0.017 0.321 0.462 0.423 0.000 0.138 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 79 22 18 0 27 -1
normalized size 1 1.00 1.00 5.64 1.57 1.29 0.00 1.93 -0.07
time (sec) N/A 0.020 0.006 0.322 0.507 0.452 0.000 0.116 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 14 79 13 18 0 30 -1
normalized size 1 1.00 1.00 5.64 0.93 1.29 0.00 2.14 -0.07
time (sec) N/A 0.024 0.010 0.307 0.546 0.489 0.000 0.116 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 92 0 0 528 0 253 -1
normalized size 1 1.00 2.00 0.00 0.00 11.48 0.00 5.50 -0.02
time (sec) N/A 0.047 0.218 0.353 0.000 0.504 0.000 0.210 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 65 0 0 221 0 110 -1
normalized size 1 1.00 2.50 0.00 0.00 8.50 0.00 4.23 -0.04
time (sec) N/A 0.024 0.068 0.343 0.000 0.441 0.000 0.150 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 45 0 0 163 0 85 -1
normalized size 1 1.00 2.81 0.00 0.00 10.19 0.00 5.31 -0.06
time (sec) N/A 0.020 0.055 0.381 0.000 0.417 0.000 0.140 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 90 0 0 666 0 412 -1
normalized size 1 1.00 1.91 0.00 0.00 14.17 0.00 8.77 -0.02
time (sec) N/A 0.043 0.099 0.347 0.000 0.451 0.000 0.279 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 68 0 0 358 0 157 -1
normalized size 1 1.00 2.06 0.00 0.00 10.85 0.00 4.76 -0.03
time (sec) N/A 0.024 0.040 0.330 0.000 0.418 0.000 0.188 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 48 0 0 213 0 69 -1
normalized size 1 1.00 3.43 0.00 0.00 15.21 0.00 4.93 -0.07
time (sec) N/A 0.018 0.031 0.383 0.000 0.406 0.000 0.155 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C C F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 26 123 44 58 0 84 -1
normalized size 1 1.00 0.76 3.62 1.29 1.71 0.00 2.47 -0.03
time (sec) N/A 0.037 0.015 0.366 0.536 0.438 0.000 0.128 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C C F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 81 22 13 0 32 -1
normalized size 1 1.00 1.00 5.06 1.38 0.81 0.00 2.00 -0.06
time (sec) N/A 0.020 0.006 0.312 0.410 0.453 0.000 0.144 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B C C F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 81 13 13 0 37 -1
normalized size 1 1.00 1.00 5.06 0.81 0.81 0.00 2.31 -0.06
time (sec) N/A 0.023 0.008 0.315 0.410 0.418 0.000 0.143 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [22] had the largest ratio of [.7000]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 4 3 1.00 14 0.214







2 A 4 3 1.00 14 0.214







3 A 4 3 1.00 14 0.214







4 A 3 2 1.00 12 0.167







5 A 3 3 1.00 14 0.214







6 A 5 5 1.00 14 0.357







7 A 6 6 1.00 14 0.429







8 A 7 6 1.00 14 0.429







9 A 8 7 1.00 16 0.438







10 A 7 6 1.00 16 0.375







11 A 6 5 1.00 16 0.312







12 A 3 3 1.08 16 0.188







13 A 4 4 1.00 16 0.250







14 A 6 6 1.00 16 0.375







15 A 7 6 1.00 16 0.375







16 A 4 4 1.00 10 0.400







17 A 3 3 1.00 10 0.300







18 A 3 3 1.00 10 0.300







19 A 6 6 1.00 12 0.500







20 A 5 5 1.00 12 0.417







21 A 3 3 1.00 12 0.250







22 A 7 7 1.00 10 0.700







23 A 6 6 1.00 10 0.600







24 A 3 3 1.00 10 0.300







25 A 4 4 1.00 12 0.333







26 A 3 3 1.00 12 0.250







27 A 3 3 1.00 12 0.250